| author | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 14 Oct 2017 10:56:26 +0000 (12:56 +0200) | ||
| committer | Michael Albinus <michael.albinus@gmx.de> | |
| Sat, 14 Oct 2017 10:56:26 +0000 (12:56 +0200) | ||
| commit | eed3a3d9e95d2c5346a23c9d92ca4e5848330183 | |
| tree | f4e8efd770d5725f75a69d44f0a7ae78fb19e48e | tree | snapshot |
| parent | dcb86584fd12fc44d246bbe033372693785c127d | commit | diff |
| etc/NEWS | diff | blob | history |